Metropolis: A Development Environment to Facilitate Platform-Based Design

نویسندگان

  • Abhijit Davare
  • Douglas Densmore
  • Guang Yang
  • Haibo Zeng
  • Alberto Sangiovanni-Vincentelli
چکیده

Metropolis is an integrated development environment for system-level design that embodies the concepts of the platform-based design methodology. Metropolis is based on a Metamodel with formal semantics and allows not only design capture, but also formal analysis, synthesis and simulation. After reviewing the basic concepts behind Metropolis, we will describe a realistic use-case scenario that showcases our current research efforts. We then describe architectural modeling with an example, and discuss our approaches to refinement. Next, we describe how the Metropolis framework allows for efficient design space exploration. Finally, we point out some of the main features of the Metropolis simulator.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Designing a Model for Controlling and Handling the Power Exercising Environment for Urban Planning Process Based on Grounded Theory; a Case Study of Mashhad Metropolis

Aims & Backgrounds: Lack of readings of concepts such as power has caused irreparable damages to the body of cities. In Iran, due to the domination of traditional viewpoint of planning, this concept has not paid much attention. An urban power exercising environment, deviating from the expected process, in addition to cause the domination of the powerful people on urban topics, has marginalized ...

متن کامل

The Role of Open Spaces in Neighborhood Attachment (Case Study: Ekbatan Town in Tehran Metropolis)

This paper intends to highlight one of the key concerns of housing designers i.e. the influence of open space on human satisfaction as well as their attachment to a particular place. Consequently, neighborhood open spaces with their meaningful layout seem to be constituent elements of residential complexes. Although, architects and designers try to create qualitative areas among buildings, the ...

متن کامل

Exploring trade-off's between centralized versus decentralized automotive architectures using a virtual integration environment

The large variety of architectural dimensions in automotive electronics design, for example, bus protocols, number of nodes, sensors and actuators interconnections and power distribution topologies, makes architecture design task a very complex but crucial design step especially for OEMs. This situation motivates the need for a design environment that accommodates the integration of a variety o...

متن کامل

Environmental Indices and Their Role in Sustainable Urban Development in Tehran Metropolis

Nowadays, Most of the cities, especially metropolises of developing countries are engaged with environmental issues like air and water pollution, waste increase and etc., that lead to the environmental destruction. Meanwhile sustainable urban development, provides the balance between development and the environment, and supplies the current generation needs while keep its eyes on the next gener...

متن کامل

Explanation of smart environment scenarios in Mashhad metropolis

Aims: The term "smart" is a common term in urban policies that emerged after the 2000s. A smart city is a city that, through human and social investments and communication infrastructures, will ensure sustainable economic development and improve the quality of life, and its natural resources management will be conscious, and it will have the dimensions of economy, mobility, environment, people,...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2004